Formatting and display of ALGOL expressions
نویسندگان
چکیده
منابع مشابه
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Passive expressions in Algol-like languages represent computations that read the state but do not modify it. The need for such read-only computations arises in programming logics as well as in concurrent programming. It is also a central facet in Reynolds’s Syntactic Control of Interference. Despite its importance and essentially basic character, capturing the notion of passivity in semantic mo...
متن کاملFull Abstraction for Idealized Algol with Passive Expressions
model of Idealized Algol raises signi cant problems over and above those associated with the full abstraction problem for PCF [20, 29]. In a previous paper [5, 6], we gave the rst fully abstract model of Idealized Algol with active, i.e. possibly side-e ecting, expressions. It is signi cantly harder to capture the \pure" version of Idealized Algol originally proposed by Reynolds, in which a sha...
متن کاملFormatting Display of Spatial Metadata Based on Xml
XML is the abbreviation of Extensible Markup Language, and is technology creating structural data. When XML appeared, it was widely used in some fields, for example: e-commerce, data exchange, multimedia transmission, etc. Spatial Metadata is description about geographic spatial data and related information resources, and it helps and promotes us to effectively locate, evaluate, compare, obtain...
متن کاملboxenv.sty: A LTEX Style File for Formatting BOX Expressions
BOX is a language independent mark-up language. It is designed for use within a generic pretty-print framework to connect source language dependent front-ends to target language dependent back-ends. A front-end translates a term over a language to BOX to describe its intended layout. Back-ends translate BOX terms to arbitrary output formats. The tool box2latex is a back-end that generates LTEX ...
متن کاملLinearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
The manipulation of objects with state which changes over time is all-pervasive in computing. Perhaps the simplest example of such objects are the program variables of classical imperative languages. An important strand of work within the study of such languages, pioneered by John Reynolds, focusses on \Idealized Algol", an elegant synthesis of imperative and functional features. We present a n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1969
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/12.4.365